$\forall$${\it the\_es}$:ES, $e$:E. $\neg$first($e$) $\Rightarrow$ loc(pred($e$)) $=$ loc($e$) $\in$ Id